RT-level fast fault simulator

In this paper a new fast fault simulation technique is presented for calculation of fault propagation through HLPs (High Level Primitives). ROTDDs (Reduced Ordered Ternary Decision Diagrams) are used to describe HLP modules. The technique is implemented in the HTDD RT-level fault simulator. The simulator is evaluated with some ITC99 benchmarks. A hypothesis is proved that a test set coverage of physical failures can be anticipated with high accuracy when RTL fault model takes into account optimization strategies that are used in CAE system applied

Validation of reactive embedded systems against specification requirements

In this paper a method of automatic generation of test scenarios for verification of specification requirements (temporal and functional) for reactive embedded systems is presented

Informatica Lublin-Polonia

In this paper a new fast fault simulation technique is presented for calculation of fault propagation through HLPs (High Level Primitives). ROTDDs (Reduced Ordered Ternary Decision Diagrams) are used to describe HLP modules. The technique is implemented in the HTDD RTlevel fault simulator. The simulator is evaluated with some ITC99 benchmarks. A hypothesis is proved that a test set coverage of physical failures can be anticipated with high accuracy when RTL fault model takes into account optimization strategies that are used in CAE system applied. 1

Approach for Designing Real-Time IoT Systems

Along with the rapid development of Internet of Things (IoT) technology over the past few years, opportunities for its implementation in service areas that require real-time requirements have begun to be recognized. In this regard, one of the most important criteria is to maintain Quality of Service (QoS) parameters at an appropriate and sufficiently high level. The QoS level should ensure the delivery of data packets in the shortest time possible while preventing critical parameters relevant to real-time transmission from being exceeded. This article proposes a new methodology for designing real-time IoT systems. The premise of the proposed approach is to adapt selected solutions used in other types of systems working with real-time requirements. Some analogy to embedded systems with a distributed architecture has been noted and used in this regard. The main differences from the concept of built-in systems can primarily be seen in the communication layer. The methodology proposed in this article is based on the authors’ proposed model of real-time system functional specification and its mapping to the IoT architecture. In addition, the developed methodology makes extensive use of selected IoT architecture elements described in this article, as well as selected task scheduling methods and communication protocols. The proposed methodology for designing RTIoT systems is based on dedicated transmission serialization methods and dedicated routing protocols. These methods ensure that the time constraints for the assumed bandwidth of IoT links are met by appropriately prioritizing transmissions and determining communication routes. The presented approach can be used to design a broad class of RTIoT systems

Estimation of Gross Motor Functions in Children with Cerebral Palsy Using Zebris FDM-T Treadmill

A standardized observational instrument designed to measure change in gross motor function over time in children with cerebral palsy is the Gross Motor Function Measure (GMFM). The process of evaluating a value for the GMFM index can be time consuming. It typically takes 45 to 60 min for the patient to complete all tasks, sometimes in two or more sessions. The diagnostic procedure requires trained and specialized therapists. The paper presents the estimation of the GMFM measure for patients with cerebral palsy based on the results of the Zebris FDM-T treadmill. For this purpose, the regression analysis was used. Estimations based on the Generalized Linear Regression were assessed using different error metrics. The results obtained showed that the GMFM score can be estimated with acceptable accuracy. Because the Zebris FDM-T is a widely used device in gait rehabilitation, our method has the potential to be widely adopted for objective diagnostics of children with cerebral palsy